Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes
نویسندگان
چکیده
In this paper, we present a generic hybrid algorithm for combining complete (constraint programming) and incomplete (local search) methods in order to solve constraint satisfaction problems. This algorithmic scheme uses constraint propagation techniques and local search heuristics over populations. The structures involved provide an harmonious interaction between the different methods, and also benefit from the respective methods’ assets. We propose various combination strategies and emphasize their interest on some examples which are solved by means of an implementation.
منابع مشابه
Vers le prototypage rapide de programmes de fouille de données
Bien que guidées par des problèmes réels, les techniques mises au point dans le cadre de la recherche en fouille de données sont encore peu utilisées et leur mise en œuvre reste confinée à la discrétion de quelques programmeurs spécialistes. Ce ”transfert technologique” est donc freiné par un certain nombre de verrous, parmi lesquels le temps nécessaire à la mise au point des programmes opérati...
متن کاملProblèmes de contraintes hybrides pour l’ordonnancement d’activités
Le raisonnement sur le temps est une tâche importante pour de nombreux domaines de l’Informatique (planification temporelle, traitement du langage naturel, etc.). Dans ce cadre, différentes approches représentant les informations temporelles à l’aide de contraintes numériques ou qualitatives ont été étudiées. Dans cet article, nous proposons un nouveau formalisme basé sur des problèmes d’optimi...
متن کاملComparaison de BTD avec des stratégies d ’ exploration “ intelligentes ” pour une sélection automatique d ’ algorithmes
Nous considérons un solveur générique de problèmes de satisfaction de contraintes (CSP) binaires, paramétré par des choix de haut niveau, à savoir le type de recherche, le niveau de propagation de contraintes et l’heuristique de choix de variables. Nous comparons expérimentalement 18 configurations de ce solveur générique sur plus d’un millier d’instances. Un premier but est de comprendre la co...
متن کاملOptimisation des évolutions d'un réseau télécoms
RÉSUMÉ. Cet article présente l’application de conception de réseaux développée par THALES Research & Technology. Le problème est de déterminer les évolutions successives à apporter à un réseau de façon à satisfaire des besoins prévisionnels et en minimisant le coût global d'investissement et de maintenance des infrastructures. L’application a été modélisée avec un solveur de contraintes dans le...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- RAIRO - Operations Research
دوره 39 شماره
صفحات -
تاریخ انتشار 2005